#Density : 10908060107614168372403588495579/48000000000000000000000000000000

Program                      : VertexInducedHypercubeDensityChecker

Dimension of subcubes H      : 4
Number of induced hypercubes : 1
Induced hypercubes           :
4 : {6, 7, 9, 10, 12, 14}
Number of terms              : 19


--- Term 1 ---

Dimension of type  : 0
Dimension of flags : 2
Number of flags    : 6
Matrix dimension   : 6

Flags :
F1 : {0}
F2 : {0, 2}
F3 : {0, 3}
F4 : {0, 2, 3}
F5 : {0, 1, 2}
F6 : {0, 1, 2, 3}

Basis :
B1 : (F1)
B2 : (F2)
B3 : (F3)
B4 : (F4)
B5 : (F5)
B6 : (F6)

Matrix :
346177843895934118383495218327/500000000000000000000000000000 -1246208878787906808026353711/1562500000000000000000000000 4452794817919325349847733197/10000000000000000000000000000 -234574306504093764939885669/312500000000000000000000000 620159724862576154914619994809/500000000000000000000000000000 -44725360064905799402147746483/250000000000000000000000000000
-1246208878787906808026353711/1562500000000000000000000000 289236788140587906115527530687/250000000000000000000000000000 -44025776697139274668235154023/125000000000000000000000000000 15569829258370135479652182839/25000000000000000000000000000 -25579007947086418181545454007/20000000000000000000000000000 -387244399020093030558508077/250000000000000000000000000000
4452794817919325349847733197/10000000000000000000000000000 -44025776697139274668235154023/125000000000000000000000000000 49358048956440975971924809709/125000000000000000000000000000 -8075495167609268616856538031/12500000000000000000000000000 22470999478069303681194713269/25000000000000000000000000000 -7974923350618095715890404693/31250000000000000000000000000
-234574306504093764939885669/312500000000000000000000000 15569829258370135479652182839/25000000000000000000000000000 -8075495167609268616856538031/12500000000000000000000000000 2648898517629842600499196783/2500000000000000000000000000 -2993905719623011374408351887/2000000000000000000000000000 10121817171264371872893206731/25000000000000000000000000000
620159724862576154914619994809/500000000000000000000000000000 -25579007947086418181545454007/20000000000000000000000000000 22470999478069303681194713269/25000000000000000000000000000 -2993905719623011374408351887/2000000000000000000000000000 2316266204280472101022509955181/1000000000000000000000000000000 -225572821396406360028826792237/500000000000000000000000000000
-44725360064905799402147746483/250000000000000000000000000000 -387244399020093030558508077/250000000000000000000000000000 -7974923350618095715890404693/31250000000000000000000000000 10121817171264371872893206731/25000000000000000000000000000 -225572821396406360028826792237/500000000000000000000000000000 56812812989865964753235577941/250000000000000000000000000000


--- Term 2 ---

Dimension of type  : 0
Dimension of flags : 2
Number of flags    : 6
Matrix dimension   : 6

Flags :
F1 : {}
F2 : {2}
F3 : {3}
F4 : {2, 3}
F5 : {1, 2}
F6 : {1, 2, 3}

Basis :
B1 : (F1)
B2 : (F2)
B3 : (F3)
B4 : (F4)
B5 : (F5)
B6 : (F6)

Matrix :
3567340758284439212738384437/62500000000000000000000000000 793472201915421199958246031/31250000000000000000000000000 -7181028495456995201401958007/62500000000000000000000000000 598953457488456504130322197/31250000000000000000000000000 -1371384736823416540564632293/125000000000000000000000000000 1305159957368762922001960671/62500000000000000000000000000
793472201915421199958246031/31250000000000000000000000000 176489485550375454280419453/15625000000000000000000000000 -1597253214197522074441045941/31250000000000000000000000000 133223303003656113239044911/15625000000000000000000000000 -305032723401444529024492959/62500000000000000000000000000 290302557393833400593521773/31250000000000000000000000000
-7181028495456995201401958007/62500000000000000000000000000 -1597253214197522074441045941/31250000000000000000000000000 14455353089780072784173279277/62500000000000000000000000000 -1205688533030841750756089367/31250000000000000000000000000 2760586537883670025200694023/125000000000000000000000000000 -2627276585010560160198930981/62500000000000000000000000000
598953457488456504130322197/31250000000000000000000000000 133223303003656113239044911/15625000000000000000000000000 -1205688533030841750756089367/31250000000000000000000000000 100563772441492115080224757/15625000000000000000000000000 -230254322567799106689044933/62500000000000000000000000000 219135238826314666079546751/31250000000000000000000000000
-1371384736823416540564632293/125000000000000000000000000000 -305032723401444529024492959/62500000000000000000000000000 2760586537883670025200694023/125000000000000000000000000000 -230254322567799106689044933/62500000000000000000000000000 527198331705399579450902677/250000000000000000000000000000 -501739689569041177959623919/125000000000000000000000000000
1305159957368762922001960671/62500000000000000000000000000 290302557393833400593521773/31250000000000000000000000000 -2627276585010560160198930981/62500000000000000000000000000 219135238826314666079546751/31250000000000000000000000000 -501739689569041177959623919/125000000000000000000000000000 477510456595133138563564893/62500000000000000000000000000


--- Term 3 ---

Dimension of type  : 1
Dimension of flags : 2
Number of flags    : 4
Matrix dimension   : 4

Flags :
F1 : {1}
F2 : {1, 2}
F3 : {1, 3}
F4 : {1, 2, 3}

Basis :
B1 : (F1)
B2 : (F2)
B3 : (F3)
B4 : (F4)

Matrix :
0/1 0/1 0/1 0/1
0/1 0/1 0/1 0/1
0/1 0/1 0/1 0/1
0/1 0/1 0/1 0/1


--- Term 4 ---

Dimension of type  : 1
Dimension of flags : 2
Number of flags    : 4
Matrix dimension   : 3

Flags :
F1 : {0, 1}
F2 : {0, 1, 2}
F3 : {0, 1, 3}
F4 : {0, 1, 2, 3}

Basis :
B1 : (F1)
B2 : (F2)+(F3)
B3 : (F4)

Matrix :
0/1 0/1 0/1
0/1 0/1 0/1
0/1 0/1 0/1


--- Term 5 ---

Dimension of type  : 1
Dimension of flags : 2
Number of flags    : 2
Matrix dimension   : 1

Flags :
F1 : {0, 1, 2}
F2 : {0, 1, 3}

Basis :
B1 : (F2)-(F1)

Matrix :
0/1


--- Term 6 ---

Dimension of type  : 1
Dimension of flags : 2
Number of flags    : 4
Matrix dimension   : 3

Flags :
F1 : {}
F2 : {2}
F3 : {3}
F4 : {2, 3}

Basis :
B1 : (F1)
B2 : (F2)+(F3)
B3 : (F4)

Matrix :
0/1 0/1 0/1
0/1 0/1 0/1
0/1 0/1 0/1


--- Term 7 ---

Dimension of type  : 1
Dimension of flags : 2
Number of flags    : 2
Matrix dimension   : 1

Flags :
F1 : {2}
F2 : {3}

Basis :
B1 : (F2)-(F1)

Matrix :
0/1


--- Term 8 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 16
Matrix dimension   : 12

Flags :
F1  : {3}
F2  : {3, 4}
F3  : {3, 5}
F4  : {3, 4, 5}
F5  : {3, 6}
F6  : {3, 4, 6}
F7  : {3, 5, 6}
F8  : {3, 4, 5, 6}
F9  : {3, 7}
F10 : {3, 4, 7}
F11 : {3, 5, 7}
F12 : {3, 4, 5, 7}
F13 : {3, 6, 7}
F14 : {3, 4, 6, 7}
F15 : {3, 5, 6, 7}
F16 : {3, 4, 5, 6, 7}

Basis :
B1  : (F1)
B2  : (F2)
B3  : (F3)+(F5)
B4  : (F4)+(F6)
B5  : (F7)
B6  : (F8)
B7  : (F9)
B8  : (F10)
B9  : (F11)+(F13)
B10 : (F12)+(F14)
B11 : (F15)
B12 : (F16)

Matrix :
22603097229887367078083380043/200000000000000000000000000000 22785964164664981088878928803/100000000000000000000000000000 41955368688570326809311005299/250000000000000000000000000000 35916502544210786509662569363/500000000000000000000000000000 1946756940246586764348152357/62500000000000000000000000000 -228004253684419295353069870961/500000000000000000000000000000 -120100645659628958786449574491/1000000000000000000000000000000 -68427118468978752413886064907/1000000000000000000000000000000 305639394554982352118266125367/500000000000000000000000000000 -89714707288494938432616486193/200000000000000000000000000000 27544115379636830285061461551/1000000000000000000000000000000 -1576477179258999286072177437/25000000000000000000000000000
22785964164664981088878928803/100000000000000000000000000000 193734410193666418513988693707/250000000000000000000000000000 52724043600196251265516287827/125000000000000000000000000000 17146232688967678749822524779/50000000000000000000000000000 3098817769191410305974082823/12500000000000000000000000000 -380350229284667656265844485893/250000000000000000000000000000 -250750543861356034036433330539/500000000000000000000000000000 -164004860343928629023953256779/500000000000000000000000000000 464951570864364049769293270123/250000000000000000000000000000 -133125866348693832303466625293/100000000000000000000000000000 71029853283671220534438072699/500000000000000000000000000000 -36569966826375745706561050127/125000000000000000000000000000
41955368688570326809311005299/250000000000000000000000000000 52724043600196251265516287827/125000000000000000000000000000 4732817317442975819963783813/12500000000000000000000000000 594259030692388831559516561/6250000000000000000000000000 4989599684487398791834914043/62500000000000000000000000000 -52538031524243492363741119729/62500000000000000000000000000 9091063931516411762217373219/250000000000000000000000000000 -15451678814675518048774770329/250000000000000000000000000000 139809027127453341376456278929/125000000000000000000000000000 -3343179709567779743714206633/3906250000000000000000000000 -119888824738942704210229443/976562500000000000000000000 31694216320944918500197828733/250000000000000000000000000000
35916502544210786509662569363/500000000000000000000000000000 17146232688967678749822524779/50000000000000000000000000000 594259030692388831559516561/6250000000000000000000000000 6504372843228340779802737677/31250000000000000000000000000 18145706842375997770220235061/125000000000000000000000000000 -10394397721896236977836607349/15625000000000000000000000000 -203978502978879473704572440753/500000000000000000000000000000 -21646720287611551029332479393/100000000000000000000000000000 7556620295056127596486636881/10000000000000000000000000000 -63411800780360523413478209373/125000000000000000000000000000 11436294369310840497336212177/62500000000000000000000000000 -150664467798541604050240252843/500000000000000000000000000000
1946756940246586764348152357/62500000000000000000000000000 3098817769191410305974082823/12500000000000000000000000000 4989599684487398791834914043/62500000000000000000000000000 18145706842375997770220235061/125000000000000000000000000000 3730472871721030450026627839/31250000000000000000000000000 -11955795864448754558083608223/25000000000000000000000000000 -28224604816353024788208028207/125000000000000000000000000000 -17904952869424422670952758849/125000000000000000000000000000 4141318900244767485502872267/7812500000000000000000000000 -90759881370206658340521494511/250000000000000000000000000000 4252553406334674679561783673/50000000000000000000000000000 -38057751040239889917262067923/250000000000000000000000000000
-228004253684419295353069870961/500000000000000000000000000000 -380350229284667656265844485893/250000000000000000000000000000 -52538031524243492363741119729/62500000000000000000000000000 -10394397721896236977836607349/15625000000000000000000000000 -11955795864448754558083608223/25000000000000000000000000000 186793763930773400632052915623/62500000000000000000000000000 484068675748356168096417286339/500000000000000000000000000000 317552236585785839313288224623/500000000000000000000000000000 -916297762424943815934757484371/250000000000000000000000000000 328427423708771108732993532029/125000000000000000000000000000 -16799282077826945621220333363/62500000000000000000000000000 279760731209716452070685097113/500000000000000000000000000000
-120100645659628958786449574491/1000000000000000000000000000000 -250750543861356034036433330539/500000000000000000000000000000 9091063931516411762217373219/250000000000000000000000000000 -203978502978879473704572440753/500000000000000000000000000000 -28224604816353024788208028207/125000000000000000000000000000 484068675748356168096417286339/500000000000000000000000000000 1088322348011157028729361826499/1000000000000000000000000000000 466563751900073398507055899771/1000000000000000000000000000000 -523434510200767297766623624551/500000000000000000000000000000 624696324609088245444986606751/1000000000000000000000000000000 -592634668371540326998118441909/1000000000000000000000000000000 450007967584199943683998601731/500000000000000000000000000000
-68427118468978752413886064907/1000000000000000000000000000000 -164004860343928629023953256779/500000000000000000000000000000 -15451678814675518048774770329/250000000000000000000000000000 -21646720287611551029332479393/100000000000000000000000000000 -17904952869424422670952758849/125000000000000000000000000000 317552236585785839313288224623/500000000000000000000000000000 466563751900073398507055899771/1000000000000000000000000000000 231442291060495685415015548419/1000000000000000000000000000000 -355167365900834311813527914383/500000000000000000000000000000 464206403674995569168041587899/1000000000000000000000000000000 -45055277132747996520714249477/200000000000000000000000000000 179701001729623818816392988169/500000000000000000000000000000
305639394554982352118266125367/500000000000000000000000000000 464951570864364049769293270123/250000000000000000000000000000 139809027127453341376456278929/125000000000000000000000000000 7556620295056127596486636881/10000000000000000000000000000 4141318900244767485502872267/7812500000000000000000000000 -916297762424943815934757484371/250000000000000000000000000000 -523434510200767297766623624551/500000000000000000000000000000 -355167365900834311813527914383/500000000000000000000000000000 1143097646020134539756120585183/250000000000000000000000000000 -1653536336802916197177438086167/500000000000000000000000000000 121524551850197272987942387461/500000000000000000000000000000 -139892494711560522626793393677/250000000000000000000000000000
-89714707288494938432616486193/200000000000000000000000000000 -133125866348693832303466625293/100000000000000000000000000000 -3343179709567779743714206633/3906250000000000000000000000 -63411800780360523413478209373/125000000000000000000000000000 -90759881370206658340521494511/250000000000000000000000000000 328427423708771108732993532029/125000000000000000000000000000 624696324609088245444986606751/1000000000000000000000000000000 464206403674995569168041587899/1000000000000000000000000000000 -1653536336802916197177438086167/500000000000000000000000000000 37702348713470731608508089227/15625000000000000000000000000 -23198671916371949645732957913/250000000000000000000000000000 56982571110298526485634660989/200000000000000000000000000000
27544115379636830285061461551/1000000000000000000000000000000 71029853283671220534438072699/500000000000000000000000000000 -119888824738942704210229443/976562500000000000000000000 11436294369310840497336212177/62500000000000000000000000000 4252553406334674679561783673/50000000000000000000000000000 -16799282077826945621220333363/62500000000000000000000000000 -592634668371540326998118441909/1000000000000000000000000000000 -45055277132747996520714249477/200000000000000000000000000000 121524551850197272987942387461/500000000000000000000000000000 -23198671916371949645732957913/250000000000000000000000000000 44323337122134941401155866857/125000000000000000000000000000 -519733697255503686174780918167/1000000000000000000000000000000
-1576477179258999286072177437/25000000000000000000000000000 -36569966826375745706561050127/125000000000000000000000000000 31694216320944918500197828733/250000000000000000000000000000 -150664467798541604050240252843/500000000000000000000000000000 -38057751040239889917262067923/250000000000000000000000000000 279760731209716452070685097113/500000000000000000000000000000 450007967584199943683998601731/500000000000000000000000000000 179701001729623818816392988169/500000000000000000000000000000 -139892494711560522626793393677/250000000000000000000000000000 56982571110298526485634660989/200000000000000000000000000000 -519733697255503686174780918167/1000000000000000000000000000000 1092835574627970423427812402577/1000000000000000000000000000000


--- Term 9 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 8
Matrix dimension   : 4

Flags :
F1 : {3, 5}
F2 : {3, 4, 5}
F3 : {3, 6}
F4 : {3, 4, 6}
F5 : {3, 5, 7}
F6 : {3, 4, 5, 7}
F7 : {3, 6, 7}
F8 : {3, 4, 6, 7}

Basis :
B1 : (F3)-(F1)
B2 : (F4)-(F2)
B3 : (F7)-(F5)
B4 : (F8)-(F6)

Matrix :
42493397802118776941401719599/40000000000000000000000000000 916076614470654370488533149/6250000000000000000000000000 63534813134798084669596406939/200000000000000000000000000000 368610768815378960826228317849/200000000000000000000000000000
916076614470654370488533149/6250000000000000000000000000 19748864693944819852744199/976562500000000000000000000 1369689399482416210580563489/31250000000000000000000000000 7946545172176851958823843899/31250000000000000000000000000
63534813134798084669596406939/200000000000000000000000000000 1369689399482416210580563489/31250000000000000000000000000 94995286064708089805817058679/1000000000000000000000000000000 551135412263775866424943850189/1000000000000000000000000000000
368610768815378960826228317849/200000000000000000000000000000 7946545172176851958823843899/31250000000000000000000000000 551135412263775866424943850189/1000000000000000000000000000000 3197529637883885635547876853599/1000000000000000000000000000000


--- Term 10 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 16
Matrix dimension   : 10

Flags :
F1  : {2, 3}
F2  : {2, 3, 4}
F3  : {2, 3, 5}
F4  : {2, 3, 4, 5}
F5  : {2, 3, 6}
F6  : {2, 3, 4, 6}
F7  : {2, 3, 5, 6}
F8  : {2, 3, 4, 5, 6}
F9  : {2, 3, 7}
F10 : {2, 3, 4, 7}
F11 : {2, 3, 5, 7}
F12 : {2, 3, 4, 5, 7}
F13 : {2, 3, 6, 7}
F14 : {2, 3, 4, 6, 7}
F15 : {2, 3, 5, 6, 7}
F16 : {2, 3, 4, 5, 6, 7}

Basis :
B1  : (F1)
B2  : (F2)+(F3)
B3  : (F4)
B4  : (F5)+(F9)
B5  : (F6)+(F11)
B6  : (F7)+(F10)
B7  : (F8)+(F12)
B8  : (F13)
B9  : (F14)+(F15)
B10 : (F16)

Matrix :
4448405747645080346302968634723/500000000000000000000000000000 103947874973111471567563257089/25000000000000000000000000000 3028208372377491960762723983817/1000000000000000000000000000000 263506942123294066712261335071/125000000000000000000000000000 -7044674554001009406816587286963/1000000000000000000000000000000 210921294795111872853496332923/100000000000000000000000000000 -20117849510923490340658737209/40000000000000000000000000000 -718937141714182952390647777647/1000000000000000000000000000000 -1593398219572648455196420377809/1000000000000000000000000000000 124870051645486734440988546753/1000000000000000000000000000000
103947874973111471567563257089/25000000000000000000000000000 997491047340782312688059126281/200000000000000000000000000000 57010543035287274549154564003/20000000000000000000000000000 -494037879117582226795727549169/1000000000000000000000000000000 -1326859804027312765203242015403/500000000000000000000000000000 123981629360656754516372707913/500000000000000000000000000000 -995446978145854405281546454649/1000000000000000000000000000000 -51196655149696053150674103107/200000000000000000000000000000 -1567674762875751901509993246277/1000000000000000000000000000000 -20638692593140303949897940371/100000000000000000000000000000
3028208372377491960762723983817/1000000000000000000000000000000 57010543035287274549154564003/20000000000000000000000000000 27045557029255223579686144507/7812500000000000000000000000 3105146445561604440836644809/125000000000000000000000000000 -88981416766260247150739227479/100000000000000000000000000000 -664299196455491735239321176187/500000000000000000000000000000 276373784698589425552618694433/500000000000000000000000000000 -1041304955789499764254493756729/1000000000000000000000000000000 -186212068459066817100745168219/100000000000000000000000000000 100757947930003059688095204797/200000000000000000000000000000
263506942123294066712261335071/125000000000000000000000000000 -494037879117582226795727549169/1000000000000000000000000000000 3105146445561604440836644809/125000000000000000000000000000 687045184237286748890355023679/200000000000000000000000000000 -2311924081663124388231163983/500000000000000000000000000000 -7224558072201798863103838119/6250000000000000000000000000 545442568455697058355834900657/1000000000000000000000000000000 -277609884719841229391746928037/1000000000000000000000000000000 -725420801719688965506661473429/1000000000000000000000000000000 -267806063012857741561932255579/500000000000000000000000000000
-7044674554001009406816587286963/1000000000000000000000000000000 -1326859804027312765203242015403/500000000000000000000000000000 -88981416766260247150739227479/100000000000000000000000000000 -2311924081663124388231163983/500000000000000000000000000000 5141102230007980705292646696553/500000000000000000000000000000 -414317352920196128374307775327/62500000000000000000000000000 -82928724879376224724151032221/500000000000000000000000000000 1503692495673915671168574312551/1000000000000000000000000000000 85490272416243095182129750137/250000000000000000000000000000 -1718715138239880228657109059091/1000000000000000000000000000000
210921294795111872853496332923/100000000000000000000000000000 123981629360656754516372707913/500000000000000000000000000000 -664299196455491735239321176187/500000000000000000000000000000 -7224558072201798863103838119/6250000000000000000000000000 -414317352920196128374307775327/62500000000000000000000000000 183287161472087238739615174409/31250000000000000000000000000 31659160390198352974247507283/500000000000000000000000000000 -76475994999826643708745296063/100000000000000000000000000000 44069820707228921530918033577/50000000000000000000000000000 5647874577138221832142962991/4000000000000000000000000000
-20117849510923490340658737209/40000000000000000000000000000 -995446978145854405281546454649/1000000000000000000000000000000 276373784698589425552618694433/500000000000000000000000000000 545442568455697058355834900657/1000000000000000000000000000000 -82928724879376224724151032221/500000000000000000000000000000 31659160390198352974247507283/500000000000000000000000000000 384854478711982186190226207431/200000000000000000000000000000 -2003252585345491941216810583/1250000000000000000000000000 -154467029650822401047189434811/200000000000000000000000000000 1285968778655420639866643322503/1000000000000000000000000000000
-718937141714182952390647777647/1000000000000000000000000000000 -51196655149696053150674103107/200000000000000000000000000000 -1041304955789499764254493756729/1000000000000000000000000000000 -277609884719841229391746928037/1000000000000000000000000000000 1503692495673915671168574312551/1000000000000000000000000000000 -76475994999826643708745296063/100000000000000000000000000000 -2003252585345491941216810583/1250000000000000000000000000 1669005533185289862838363485301/1000000000000000000000000000000 503468325129997850114561434701/500000000000000000000000000000 -331984046272595751135058679437/250000000000000000000000000000
-1593398219572648455196420377809/1000000000000000000000000000000 -1567674762875751901509993246277/1000000000000000000000000000000 -186212068459066817100745168219/100000000000000000000000000000 -725420801719688965506661473429/1000000000000000000000000000000 85490272416243095182129750137/250000000000000000000000000000 44069820707228921530918033577/50000000000000000000000000000 -154467029650822401047189434811/200000000000000000000000000000 503468325129997850114561434701/500000000000000000000000000000 1516124259756966328391300861693/1000000000000000000000000000000 -406337753661607751988448445423/1000000000000000000000000000000
124870051645486734440988546753/1000000000000000000000000000000 -20638692593140303949897940371/100000000000000000000000000000 100757947930003059688095204797/200000000000000000000000000000 -267806063012857741561932255579/500000000000000000000000000000 -1718715138239880228657109059091/1000000000000000000000000000000 5647874577138221832142962991/4000000000000000000000000000 1285968778655420639866643322503/1000000000000000000000000000000 -331984046272595751135058679437/250000000000000000000000000000 -406337753661607751988448445423/1000000000000000000000000000000 677439613127048585566299769359/500000000000000000000000000000


--- Term 11 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 12
Matrix dimension   : 6

Flags :
F1  : {2, 3, 4}
F2  : {2, 3, 5}
F3  : {2, 3, 6}
F4  : {2, 3, 4, 6}
F5  : {2, 3, 5, 6}
F6  : {2, 3, 4, 5, 6}
F7  : {2, 3, 7}
F8  : {2, 3, 4, 7}
F9  : {2, 3, 5, 7}
F10 : {2, 3, 4, 5, 7}
F11 : {2, 3, 4, 6, 7}
F12 : {2, 3, 5, 6, 7}

Basis :
B1 : (F2)-(F1)
B2 : (F7)-(F3)
B3 : (F9)-(F4)
B4 : (F8)-(F5)
B5 : (F10)-(F6)
B6 : (F12)-(F11)

Matrix :
31996161645695654047681885041/50000000000000000000000000000 57115966130147509775679593613/25000000000000000000000000000 18227892571156495566383283867/62500000000000000000000000000 240194665023181593050690217627/500000000000000000000000000000 534678657668295641939562004047/250000000000000000000000000000 47691227354191537645731375111/100000000000000000000000000000
57115966130147509775679593613/25000000000000000000000000000 109443831885540715803878149593/12500000000000000000000000000 -7783681766317500512714754071/5000000000000000000000000000 200784390292962519320149434489/50000000000000000000000000000 97857785495581812597170407283/12500000000000000000000000000 18857789817259664007303748273/10000000000000000000000000000
18227892571156495566383283867/62500000000000000000000000000 -7783681766317500512714754071/5000000000000000000000000000 2850445981767992514105808630559/250000000000000000000000000000 -1220017792007733579093511336911/125000000000000000000000000000 34355020359239685863431172089/250000000000000000000000000000 -563413018103018495299667169/976562500000000000000000000
240194665023181593050690217627/500000000000000000000000000000 200784390292962519320149434489/50000000000000000000000000000 -1220017792007733579093511336911/125000000000000000000000000000 9197546485847708991201571405689/1000000000000000000000000000000 1173499440517852851586007187561/500000000000000000000000000000 1061395124231018598541129390353/1000000000000000000000000000000
534678657668295641939562004047/250000000000000000000000000000 97857785495581812597170407283/12500000000000000000000000000 34355020359239685863431172089/250000000000000000000000000000 1173499440517852851586007187561/500000000000000000000000000000 450631416953767969210946363057/62500000000000000000000000000 826463149948438612087213236213/500000000000000000000000000000
47691227354191537645731375111/100000000000000000000000000000 18857789817259664007303748273/10000000000000000000000000000 -563413018103018495299667169/976562500000000000000000000 1061395124231018598541129390353/1000000000000000000000000000000 826463149948438612087213236213/500000000000000000000000000000 22464311461078425921474998977/40000000000000000000000000000


--- Term 12 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 16
Matrix dimension   : 9

Flags :
F1  : {1, 2}
F2  : {1, 2, 4}
F3  : {1, 2, 5}
F4  : {1, 2, 4, 5}
F5  : {1, 2, 6}
F6  : {1, 2, 4, 6}
F7  : {1, 2, 5, 6}
F8  : {1, 2, 4, 5, 6}
F9  : {1, 2, 7}
F10 : {1, 2, 4, 7}
F11 : {1, 2, 5, 7}
F12 : {1, 2, 4, 5, 7}
F13 : {1, 2, 6, 7}
F14 : {1, 2, 4, 6, 7}
F15 : {1, 2, 5, 6, 7}
F16 : {1, 2, 4, 5, 6, 7}

Basis :
B1 : (F1)
B2 : (F2)+(F9)
B3 : (F3)+(F5)
B4 : (F4)+(F6)+(F11)+(F13)
B5 : (F7)
B6 : (F8)+(F15)
B7 : (F10)
B8 : (F12)+(F14)
B9 : (F16)

Matrix :
13748614760363147430254401419/62500000000000000000000000000 -5736403774760135638163969889/250000000000000000000000000000 51740296925449636057686561/31250000000000000000000000000 -1036348595320539592919891193/12500000000000000000000000000 -6040350999897556540058033121/15625000000000000000000000000 46430898625536464647616333481/250000000000000000000000000000 15666887477652634996451293641/250000000000000000000000000000 -964611726896960044335449679/250000000000000000000000000000 2752669608902393920843112997/250000000000000000000000000000
-5736403774760135638163969889/250000000000000000000000000000 2393428635585187165801359459/1000000000000000000000000000000 -21587864651356334532835491/125000000000000000000000000000 432400943497458377394794283/50000000000000000000000000000 2520246067013465589966394851/62500000000000000000000000000 -19372597660449499734088702011/1000000000000000000000000000000 -6536774361053888657666242971/1000000000000000000000000000000 402469808616810700520651949/1000000000000000000000000000000 -1148510203420531380572594607/1000000000000000000000000000000
51740296925449636057686561/31250000000000000000000000000 -21587864651356334532835491/125000000000000000000000000000 194714767457996829817059/15625000000000000000000000000 -3900100844686192384533867/6250000000000000000000000000 -22731712228176594621105699/7812500000000000000000000000 174733856702902767453436539/125000000000000000000000000000 58959351477962649472623579/125000000000000000000000000000 -3630132783362763478587501/125000000000000000000000000000 10359148567670630269141743/125000000000000000000000000000
-1036348595320539592919891193/12500000000000000000000000000 432400943497458377394794283/50000000000000000000000000000 -3900100844686192384533867/6250000000000000000000000000 78118299897326316441787571/2500000000000000000000000000 455311999288392609839702187/3125000000000000000000000000 -3499886891061169908908599107/50000000000000000000000000000 -1180944925253066207533406627/50000000000000000000000000000 72710889469491523473389413/50000000000000000000000000000 -207491833343956820694654359/50000000000000000000000000000
-6040350999897556540058033121/15625000000000000000000000000 2520246067013465589966394851/62500000000000000000000000000 -22731712228176594621105699/7812500000000000000000000000 455311999288392609839702187/3125000000000000000000000000 2653783005626939001501008739/3906250000000000000000000000 -20399067820814654843712065979/62500000000000000000000000000 -6883129761824965878133531419/62500000000000000000000000000 423794943027486595561756461/62500000000000000000000000000 -1209364791604795340635039023/62500000000000000000000000000
46430898625536464647616333481/250000000000000000000000000000 -19372597660449499734088702011/1000000000000000000000000000000 174733856702902767453436539/125000000000000000000000000000 -3499886891061169908908599107/50000000000000000000000000000 -20399067820814654843712065979/62500000000000000000000000000 156803313261059126635816721619/1000000000000000000000000000000 52909160445001977355701297459/1000000000000000000000000000000 -3257621955753556999614331221/1000000000000000000000000000000 9296130976701124289464745703/1000000000000000000000000000000
15666887477652634996451293641/250000000000000000000000000000 -6536774361053888657666242971/1000000000000000000000000000000 58959351477962649472623579/125000000000000000000000000000 -1180944925253066207533406627/50000000000000000000000000000 -6883129761824965878133531419/62500000000000000000000000000 52909160445001977355701297459/1000000000000000000000000000000 17852806811131112289529655699/1000000000000000000000000000000 -1099198984648813846924257781/1000000000000000000000000000000 3136735284063541118263139783/1000000000000000000000000000000
-964611726896960044335449679/250000000000000000000000000000 402469808616810700520651949/1000000000000000000000000000000 -3630132783362763478587501/125000000000000000000000000000 72710889469491523473389413/50000000000000000000000000000 423794943027486595561756461/62500000000000000000000000000 -3257621955753556999614331221/1000000000000000000000000000000 -1099198984648813846924257781/1000000000000000000000000000000 67677784263013157290838339/1000000000000000000000000000000 -193129084733332326574697377/1000000000000000000000000000000
2752669608902393920843112997/250000000000000000000000000000 -1148510203420531380572594607/1000000000000000000000000000000 10359148567670630269141743/125000000000000000000000000000 -207491833343956820694654359/50000000000000000000000000000 -1209364791604795340635039023/62500000000000000000000000000 9296130976701124289464745703/1000000000000000000000000000000 3136735284063541118263139783/1000000000000000000000000000000 -193129084733332326574697377/1000000000000000000000000000000 551123884685435689888845611/1000000000000000000000000000000


--- Term 13 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 12
Matrix dimension   : 7

Flags :
F1  : {1, 2, 4}
F2  : {1, 2, 5}
F3  : {1, 2, 4, 5}
F4  : {1, 2, 6}
F5  : {1, 2, 4, 6}
F6  : {1, 2, 4, 5, 6}
F7  : {1, 2, 7}
F8  : {1, 2, 5, 7}
F9  : {1, 2, 4, 5, 7}
F10 : {1, 2, 6, 7}
F11 : {1, 2, 4, 6, 7}
F12 : {1, 2, 5, 6, 7}

Basis :
B1 : (F7)-(F1)
B2 : (F4)-(F2)
B3 : (F5)-(F3)
B4 : (F8)-(F3)
B5 : (F10)-(F3)
B6 : (F12)-(F6)
B7 : (F11)-(F9)

Matrix :
0/1 0/1 0/1 0/1 0/1 0/1 0/1
0/1 6090614236327210492292630641/1000000000000000000000000000000 65795078038427571206554014339/1000000000000000000000000000000 -65795113075988563024682292353/1000000000000000000000000000000 65795113075988563024682292353/1000000000000000000000000000000 0/1 20346959789933399461399794671/1000000000000000000000000000000
0/1 65795078038427571206554014339/1000000000000000000000000000000 619240680872617512960209431307/250000000000000000000000000000 74889917239693643997252831517/200000000000000000000000000000 -74889917239693643997252831517/200000000000000000000000000000 0/1 21980210083301416700267809887/100000000000000000000000000000
0/1 -65795113075988563024682292353/1000000000000000000000000000000 74889917239693643997252831517/200000000000000000000000000000 2476963654777912501877137374561/1000000000000000000000000000000 -2476963654777912501877137374561/1000000000000000000000000000000 0/1 -219802218921289105036034508427/1000000000000000000000000000000
0/1 65795113075988563024682292353/1000000000000000000000000000000 -74889917239693643997252831517/200000000000000000000000000000 -2476963654777912501877137374561/1000000000000000000000000000000 2476963654777912501877137374561/1000000000000000000000000000000 0/1 219802218921289105036034508427/1000000000000000000000000000000
0/1 0/1 0/1 0/1 0/1 0/1 0/1
0/1 20346959789933399461399794671/1000000000000000000000000000000 21980210083301416700267809887/100000000000000000000000000000 -219802218921289105036034508427/1000000000000000000000000000000 219802218921289105036034508427/1000000000000000000000000000000 0/1 33986619134724415308382730927/500000000000000000000000000000


--- Term 14 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 16
Matrix dimension   : 12

Flags :
F1  : {1, 2, 3}
F2  : {1, 2, 3, 4}
F3  : {1, 2, 3, 5}
F4  : {1, 2, 3, 4, 5}
F5  : {1, 2, 3, 6}
F6  : {1, 2, 3, 4, 6}
F7  : {1, 2, 3, 5, 6}
F8  : {1, 2, 3, 4, 5, 6}
F9  : {1, 2, 3, 7}
F10 : {1, 2, 3, 4, 7}
F11 : {1, 2, 3, 5, 7}
F12 : {1, 2, 3, 4, 5, 7}
F13 : {1, 2, 3, 6, 7}
F14 : {1, 2, 3, 4, 6, 7}
F15 : {1, 2, 3, 5, 6, 7}
F16 : {1, 2, 3, 4, 5, 6, 7}

Basis :
B1  : (F1)
B2  : (F2)
B3  : (F3)+(F5)
B4  : (F4)+(F6)
B5  : (F7)
B6  : (F8)
B7  : (F9)
B8  : (F10)
B9  : (F11)+(F13)
B10 : (F12)+(F14)
B11 : (F15)
B12 : (F16)

Matrix :
277309040995619216980187014853/62500000000000000000000000000 323426720730147215892005737907/50000000000000000000000000000 89597271841574882657301097927/31250000000000000000000000000 -105881010397348938915685396523/125000000000000000000000000000 -51175788874150664599783901307/15625000000000000000000000000 -19036687977798744202982439491/15625000000000000000000000000 -441585008352563486492283791619/125000000000000000000000000000 -78022019581899171558785879429/25000000000000000000000000000 -5171431934042483194485554899/50000000000000000000000000000 -19806560565959430266070212281/31250000000000000000000000000 15416934593876408758487170063/6250000000000000000000000000 195352320126542198546328643829/125000000000000000000000000000
323426720730147215892005737907/50000000000000000000000000000 9430740187799666776289926639611/1000000000000000000000000000000 4177594105920781795259686541369/1000000000000000000000000000000 -1232526834477475853287104303913/1000000000000000000000000000000 -2388100290770486687822011604903/500000000000000000000000000000 -444075267045958283629776181027/250000000000000000000000000000 -2574726400909697461416160627697/500000000000000000000000000000 -142258315411919196148703120379/31250000000000000000000000000 -19221071717670520171606702789/125000000000000000000000000000 -921944533098947431362545964057/1000000000000000000000000000000 1797476426662346307235621570903/500000000000000000000000000000 570048768441165211917224747823/250000000000000000000000000000
89597271841574882657301097927/31250000000000000000000000000 4177594105920781795259686541369/1000000000000000000000000000000 933193328934887211540616976409/500000000000000000000000000000 -561363558488252015056530730899/1000000000000000000000000000000 -2108880195610969020565877620633/1000000000000000000000000000000 -196680186983077558698219794831/250000000000000000000000000000 -1143676374098371469364708081971/500000000000000000000000000000 -1001256637177283019371664084791/500000000000000000000000000000 -49192784769876369621989891973/1000000000000000000000000000000 -421835248457823934916904550129/1000000000000000000000000000000 800575036158540252985121022647/500000000000000000000000000000 499636822383077226106021906507/500000000000000000000000000000
-105881010397348938915685396523/125000000000000000000000000000 -1232526834477475853287104303913/1000000000000000000000000000000 -561363558488252015056530730899/1000000000000000000000000000000 88024409332470286694417514003/500000000000000000000000000000 617536046990213070929686047167/1000000000000000000000000000000 29001808908907972628655187967/125000000000000000000000000000 339546198409252560201856921429/500000000000000000000000000000 145323595806200572527355066661/250000000000000000000000000000 842898901116750552115685673/500000000000000000000000000000 66781535768889702349692422461/500000000000000000000000000000 -119567438612844496206546314717/250000000000000000000000000000 -4492158165567197501329517623/15625000000000000000000000000
-51175788874150664599783901307/15625000000000000000000000000 -2388100290770486687822011604903/500000000000000000000000000000 -2108880195610969020565877620633/1000000000000000000000000000000 617536046990213070929686047167/1000000000000000000000000000000 1210943528186100872624262092807/500000000000000000000000000000 224917049864621302079947153623/250000000000000000000000000000 162826319877644021110190635081/62500000000000000000000000000 1155793665367517374058316146029/500000000000000000000000000000 86090027508844942436146394947/1000000000000000000000000000000 461087011796900136689687836649/1000000000000000000000000000000 -908450395903495163971237678923/500000000000000000000000000000 -579746344684431458503317050327/500000000000000000000000000000
-19036687977798744202982439491/15625000000000000000000000000 -444075267045958283629776181027/250000000000000000000000000000 -196680186983077558698219794831/250000000000000000000000000000 29001808908907972628655187967/125000000000000000000000000000 224917049864621302079947153623/250000000000000000000000000000 10455359476714964770686854053/31250000000000000000000000000 121232012309074725154602522591/125000000000000000000000000000 26798513191849266728936932177/31250000000000000000000000000 910261788186257316785725693/31250000000000000000000000000 21691581951444441304321723459/125000000000000000000000000000 -42315093355870504869072347803/62500000000000000000000000000 -26848401732378057773943046477/62500000000000000000000000000
-441585008352563486492283791619/125000000000000000000000000000 -2574726400909697461416160627697/500000000000000000000000000000 -1143676374098371469364708081971/500000000000000000000000000000 339546198409252560201856921429/500000000000000000000000000000 162826319877644021110190635081/62500000000000000000000000000 121232012309074725154602522591/125000000000000000000000000000 703558040342673513346464249631/250000000000000000000000000000 155006548721474231544461641577/62500000000000000000000000000 9557670306521860535012955911/125000000000000000000000000000 254366790401764796725497261613/500000000000000000000000000000 -491595940229792908376696995611/250000000000000000000000000000 -155096390786833772497237853267/125000000000000000000000000000
-78022019581899171558785879429/25000000000000000000000000000 -142258315411919196148703120379/31250000000000000000000000000 -1001256637177283019371664084791/500000000000000000000000000000 145323595806200572527355066661/250000000000000000000000000000 1155793665367517374058316146029/500000000000000000000000000000 26798513191849266728936932177/31250000000000000000000000000 155006548721474231544461641577/62500000000000000000000000000 552463908104800314950903886891/250000000000000000000000000000 45509402304583420083567084353/500000000000000000000000000000 3383619583827076485870352557/7812500000000000000000000000 -26993849009772202742512467097/15625000000000000000000000000 -277561345216848175587005648349/250000000000000000000000000000
-5171431934042483194485554899/50000000000000000000000000000 -19221071717670520171606702789/125000000000000000000000000000 -49192784769876369621989891973/1000000000000000000000000000000 842898901116750552115685673/500000000000000000000000000000 86090027508844942436146394947/1000000000000000000000000000000 910261788186257316785725693/31250000000000000000000000000 9557670306521860535012955911/125000000000000000000000000000 45509402304583420083567084353/500000000000000000000000000000 134612499367196704586710155699/1000000000000000000000000000000 -261815299166735011175243939/250000000000000000000000000000 -6029777965295261239829244179/125000000000000000000000000000 -25051155392712367992215307847/500000000000000000000000000000
-19806560565959430266070212281/31250000000000000000000000000 -921944533098947431362545964057/1000000000000000000000000000000 -421835248457823934916904550129/1000000000000000000000000000000 66781535768889702349692422461/500000000000000000000000000000 461087011796900136689687836649/1000000000000000000000000000000 21691581951444441304321723459/125000000000000000000000000000 254366790401764796725497261613/500000000000000000000000000000 3383619583827076485870352557/7812500000000000000000000000 -261815299166735011175243939/250000000000000000000000000000 50772824338019638546472035581/500000000000000000000000000000 -89702280113675681395294749133/250000000000000000000000000000 -53433683463674980567941680973/250000000000000000000000000000
15416934593876408758487170063/6250000000000000000000000000 1797476426662346307235621570903/500000000000000000000000000000 800575036158540252985121022647/500000000000000000000000000000 -119567438612844496206546314717/250000000000000000000000000000 -908450395903495163971237678923/500000000000000000000000000000 -42315093355870504869072347803/62500000000000000000000000000 -491595940229792908376696995611/250000000000000000000000000000 -26993849009772202742512467097/15625000000000000000000000000 -6029777965295261239829244179/125000000000000000000000000000 -89702280113675681395294749133/250000000000000000000000000000 171891772737336317025292626337/125000000000000000000000000000 107909661948124441692322278139/125000000000000000000000000000
195352320126542198546328643829/125000000000000000000000000000 570048768441165211917224747823/250000000000000000000000000000 499636822383077226106021906507/500000000000000000000000000000 -4492158165567197501329517623/15625000000000000000000000000 -579746344684431458503317050327/500000000000000000000000000000 -26848401732378057773943046477/62500000000000000000000000000 -155096390786833772497237853267/125000000000000000000000000000 -277561345216848175587005648349/250000000000000000000000000000 -25051155392712367992215307847/500000000000000000000000000000 -53433683463674980567941680973/250000000000000000000000000000 107909661948124441692322278139/125000000000000000000000000000 139672005789972097894556482023/250000000000000000000000000000


--- Term 15 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 8
Matrix dimension   : 4

Flags :
F1 : {1, 2, 3, 5}
F2 : {1, 2, 3, 4, 5}
F3 : {1, 2, 3, 6}
F4 : {1, 2, 3, 4, 6}
F5 : {1, 2, 3, 5, 7}
F6 : {1, 2, 3, 4, 5, 7}
F7 : {1, 2, 3, 6, 7}
F8 : {1, 2, 3, 4, 6, 7}

Basis :
B1 : (F3)-(F1)
B2 : (F4)-(F2)
B3 : (F7)-(F5)
B4 : (F8)-(F6)

Matrix :
2050127417466616086599481615479/500000000000000000000000000000 450199601434460196596889941689/125000000000000000000000000000 -300266039075935162190463516697/100000000000000000000000000000 -892164222320724447721258412341/250000000000000000000000000000
450199601434460196596889941689/125000000000000000000000000000 49430996191983568674386665249/15625000000000000000000000000 -329685974550804848719224754369/125000000000000000000000000000 -195915616698207351203761736189/62500000000000000000000000000
-300266039075935162190463516697/100000000000000000000000000000 -329685974550804848719224754369/125000000000000000000000000000 1320397159235767529446823999819/500000000000000000000000000000 653341384931179018958096058043/250000000000000000000000000000
-892164222320724447721258412341/250000000000000000000000000000 -195915616698207351203761736189/62500000000000000000000000000 653341384931179018958096058043/250000000000000000000000000000 15529903025690436380915637203/5000000000000000000000000000


--- Term 16 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 16
Matrix dimension   : 6

Flags :
F1  : {0, 1, 2, 3}
F2  : {0, 1, 2, 3, 4}
F3  : {0, 1, 2, 3, 5}
F4  : {0, 1, 2, 3, 4, 5}
F5  : {0, 1, 2, 3, 6}
F6  : {0, 1, 2, 3, 4, 6}
F7  : {0, 1, 2, 3, 5, 6}
F8  : {0, 1, 2, 3, 4, 5, 6}
F9  : {0, 1, 2, 3, 7}
F10 : {0, 1, 2, 3, 4, 7}
F11 : {0, 1, 2, 3, 5, 7}
F12 : {0, 1, 2, 3, 4, 5, 7}
F13 : {0, 1, 2, 3, 6, 7}
F14 : {0, 1, 2, 3, 4, 6, 7}
F15 : {0, 1, 2, 3, 5, 6, 7}
F16 : {0, 1, 2, 3, 4, 5, 6, 7}

Basis :
B1 : (F1)
B2 : (F2)+(F3)+(F5)+(F9)
B3 : (F4)+(F6)+(F11)+(F13)
B4 : (F7)+(F10)
B5 : (F8)+(F12)+(F14)+(F15)
B6 : (F16)

Matrix :
0/1 0/1 0/1 0/1 0/1 0/1
0/1 267353601/5000000000 0/1 0/1 0/1 0/1
0/1 0/1 0/1 0/1 0/1 0/1
0/1 0/1 0/1 0/1 0/1 0/1
0/1 0/1 0/1 0/1 0/1 0/1
0/1 0/1 0/1 0/1 0/1 0/1


--- Term 17 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 14
Matrix dimension   : 10

Flags :
F1  : {0, 1, 2, 3, 4}
F2  : {0, 1, 2, 3, 5}
F3  : {0, 1, 2, 3, 4, 5}
F4  : {0, 1, 2, 3, 6}
F5  : {0, 1, 2, 3, 4, 6}
F6  : {0, 1, 2, 3, 5, 6}
F7  : {0, 1, 2, 3, 4, 5, 6}
F8  : {0, 1, 2, 3, 7}
F9  : {0, 1, 2, 3, 4, 7}
F10 : {0, 1, 2, 3, 5, 7}
F11 : {0, 1, 2, 3, 4, 5, 7}
F12 : {0, 1, 2, 3, 6, 7}
F13 : {0, 1, 2, 3, 4, 6, 7}
F14 : {0, 1, 2, 3, 5, 6, 7}

Basis :
B1  : (F2)-(F1)
B2  : (F4)-(F1)
B3  : (F8)-(F1)
B4  : (F5)-(F3)
B5  : (F10)-(F3)
B6  : (F12)-(F3)
B7  : (F9)-(F6)
B8  : (F11)-(F7)
B9  : (F13)-(F7)
B10 : (F14)-(F7)

Matrix :
971891088636754885252862286773/1000000000000000000000000000000 -800231972464781943778450278153/1000000000000000000000000000000 -858295763103137297525117203/10000000000000000000000000000 -5418063010985593297569/1000000000000000000000000000000 -5418063010985593297569/1000000000000000000000000000000 5418063010985593297569/1000000000000000000000000000000 11470391136654125992595304017/500000000000000000000000000000 -705598029648682210423566930387/1000000000000000000000000000000 17275822237424294776351749139/25000000000000000000000000000 7282577333566048451711639679/1000000000000000000000000000000
-800231972464781943778450278153/1000000000000000000000000000000 971891088610823597469981785923/1000000000000000000000000000000 -85829575052982030759016737271/1000000000000000000000000000000 1277915307842733800061/250000000000000000000000000000 1277915307842733800061/250000000000000000000000000000 -1277915307842733800061/250000000000000000000000000000 1147039118687052841246198657/50000000000000000000000000000 345516444740203006343009645419/500000000000000000000000000000 -352799014831995076426255133999/500000000000000000000000000000 3641287699470793702378657659/500000000000000000000000000000
-858295763103137297525117203/10000000000000000000000000000 -85829575052982030759016737271/1000000000000000000000000000000 242972763448552912513977846367/250000000000000000000000000000 4949467806427281437069/1000000000000000000000000000000 4949467806427281437069/1000000000000000000000000000000 -4949467806427281437069/1000000000000000000000000000000 -2867597937502512419352396657/125000000000000000000000000000 1820642866839781380955727147/250000000000000000000000000000 291302773760388891892424353/40000000000000000000000000000 -705598007409025464849416396193/1000000000000000000000000000000
-5418063010985593297569/1000000000000000000000000000000 1277915307842733800061/250000000000000000000000000000 4949467806427281437069/1000000000000000000000000000000 1370998643907675900773189505347/1000000000000000000000000000000 1370998643907675900773189505347/1000000000000000000000000000000 -1370998643907675900773189505347/1000000000000000000000000000000 45155218248228106977/500000000000000000000000000000 2242155520784217961419/500000000000000000000000000000 -4304185354014828756097/1000000000000000000000000000000 -175234201785202525051/40000000000000000000000000000
-5418063010985593297569/1000000000000000000000000000000 1277915307842733800061/250000000000000000000000000000 4949467806427281437069/1000000000000000000000000000000 1370998643907675900773189505347/1000000000000000000000000000000 1370998643907675900773189505347/1000000000000000000000000000000 -1370998643907675900773189505347/1000000000000000000000000000000 45155218248228106977/500000000000000000000000000000 2242155520784217961419/500000000000000000000000000000 -4304185354014828756097/1000000000000000000000000000000 -175234201785202525051/40000000000000000000000000000
5418063010985593297569/1000000000000000000000000000000 -1277915307842733800061/250000000000000000000000000000 -4949467806427281437069/1000000000000000000000000000000 -1370998643907675900773189505347/1000000000000000000000000000000 -1370998643907675900773189505347/1000000000000000000000000000000 1370998643907675900773189505347/1000000000000000000000000000000 -45155218248228106977/500000000000000000000000000000 -2242155520784217961419/500000000000000000000000000000 4304185354014828756097/1000000000000000000000000000000 175234201785202525051/40000000000000000000000000000
11470391136654125992595304017/500000000000000000000000000000 1147039118687052841246198657/50000000000000000000000000000 -2867597937502512419352396657/125000000000000000000000000000 45155218248228106977/500000000000000000000000000000 45155218248228106977/500000000000000000000000000000 -45155218248228106977/500000000000000000000000000000 8144905682787699389144439247/125000000000000000000000000000 -10342427840068141323145366821/500000000000000000000000000000 -2585606965113348175650543069/125000000000000000000000000000 10342427488422867214256824963/500000000000000000000000000000
-705598029648682210423566930387/1000000000000000000000000000000 345516444740203006343009645419/500000000000000000000000000000 1820642866839781380955727147/250000000000000000000000000000 2242155520784217961419/500000000000000000000000000000 2242155520784217961419/500000000000000000000000000000 -2242155520784217961419/500000000000000000000000000000 -10342427840068141323145366821/500000000000000000000000000000 159555451503517214876119480407/200000000000000000000000000000 -784644408868462415063573383447/1000000000000000000000000000000 -3283212827783443127958443839/500000000000000000000000000000
17275822237424294776351749139/25000000000000000000000000000 -352799014831995076426255133999/500000000000000000000000000000 291302773760388891892424353/40000000000000000000000000000 -4304185354014828756097/1000000000000000000000000000000 -4304185354014828756097/1000000000000000000000000000000 4304185354014828756097/1000000000000000000000000000000 -2585606965113348175650543069/125000000000000000000000000000 -784644408868462415063573383447/1000000000000000000000000000000 398888628788800934928957377351/500000000000000000000000000000 -6566422481401622629812715299/1000000000000000000000000000000
7282577333566048451711639679/1000000000000000000000000000000 3641287699470793702378657659/500000000000000000000000000000 -705598007409025464849416396193/1000000000000000000000000000000 -175234201785202525051/40000000000000000000000000000 -175234201785202525051/40000000000000000000000000000 175234201785202525051/40000000000000000000000000000 10342427488422867214256824963/500000000000000000000000000000 -3283212827783443127958443839/500000000000000000000000000000 -6566422481401622629812715299/1000000000000000000000000000000 797777254983233606543101986777/1000000000000000000000000000000


--- Term 18 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 16
Matrix dimension   : 6

Flags :
F1  : {}
F2  : {4}
F3  : {5}
F4  : {4, 5}
F5  : {6}
F6  : {4, 6}
F7  : {5, 6}
F8  : {4, 5, 6}
F9  : {7}
F10 : {4, 7}
F11 : {5, 7}
F12 : {4, 5, 7}
F13 : {6, 7}
F14 : {4, 6, 7}
F15 : {5, 6, 7}
F16 : {4, 5, 6, 7}

Basis :
B1 : (F1)
B2 : (F2)+(F3)+(F5)+(F9)
B3 : (F4)+(F6)+(F11)+(F13)
B4 : (F7)+(F10)
B5 : (F8)+(F12)+(F14)+(F15)
B6 : (F16)

Matrix :
1329482810913158181178980801/7812500000000000000000000000 -1833891181834675503754012707/31250000000000000000000000000 4029197968771532906385126483/31250000000000000000000000000 -6053204533431331211973553809/31250000000000000000000000000 2113112912423960188433142297/62500000000000000000000000000 2454198439666034718680589279/62500000000000000000000000000
-1833891181834675503754012707/31250000000000000000000000000 2529673072268599840496528649/125000000000000000000000000000 -5557883534967310803503094681/125000000000000000000000000000 8349802137025532048320060563/125000000000000000000000000000 -2914832071919445693391924779/250000000000000000000000000000 -3385326113306137999967345853/250000000000000000000000000000
4029197968771532906385126483/31250000000000000000000000000 -5557883534967310803503094681/125000000000000000000000000000 12211091514904196876332258089/125000000000000000000000000000 -18345148361796518423524446147/125000000000000000000000000000 6404107059252278514445650651/250000000000000000000000000000 7437818140177944878656790157/250000000000000000000000000000
-6053204533431331211973553809/31250000000000000000000000000 8349802137025532048320060563/125000000000000000000000000000 -18345148361796518423524446147/125000000000000000000000000000 27560555746024631357926083681/125000000000000000000000000000 -9621113230002124755537120873/250000000000000000000000000000 -11174093413605570375720304911/250000000000000000000000000000
2113112912423960188433142297/62500000000000000000000000000 -2914832071919445693391924779/250000000000000000000000000000 6404107059252278514445650651/250000000000000000000000000000 -9621113230002124755537120873/250000000000000000000000000000 3358634007148920654092409009/500000000000000000000000000000 3900763793212955490713123463/500000000000000000000000000000
2454198439666034718680589279/62500000000000000000000000000 -3385326113306137999967345853/250000000000000000000000000000 7437818140177944878656790157/250000000000000000000000000000 -11174093413605570375720304911/250000000000000000000000000000 3900763793212955490713123463/500000000000000000000000000000 4530400793314677687949927041/500000000000000000000000000000


--- Term 19 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 14
Matrix dimension   : 10

Flags :
F1  : {4}
F2  : {5}
F3  : {4, 5}
F4  : {6}
F5  : {4, 6}
F6  : {5, 6}
F7  : {4, 5, 6}
F8  : {7}
F9  : {4, 7}
F10 : {5, 7}
F11 : {4, 5, 7}
F12 : {6, 7}
F13 : {4, 6, 7}
F14 : {5, 6, 7}

Basis :
B1  : (F2)-(F1)
B2  : (F4)-(F1)
B3  : (F8)-(F1)
B4  : (F5)-(F3)
B5  : (F10)-(F3)
B6  : (F12)-(F3)
B7  : (F9)-(F6)
B8  : (F11)-(F7)
B9  : (F13)-(F7)
B10 : (F14)-(F7)

Matrix :
105474810016945980999208020989/250000000000000000000000000000 -333071801675746527117296457391/1000000000000000000000000000000 -44413716543655547831871672121/1000000000000000000000000000000 72704960447710035856995651817/500000000000000000000000000000 -145409924896575434920404138301/1000000000000000000000000000000 145409922415882385943503395733/1000000000000000000000000000000 -78537169970597859368906634137/500000000000000000000000000000 188771954823373299185211456781/500000000000000000000000000000 -559264414484360081375897044453/1000000000000000000000000000000 4543012785461960817791976247/50000000000000000000000000000
-333071801675746527117296457391/1000000000000000000000000000000 421899240030901769495833097937/1000000000000000000000000000000 -2220685768002620239424283447/50000000000000000000000000000 -18176240064933396146425307701/125000000000000000000000000000 36352481173057972131876862369/250000000000000000000000000000 -145409922778990283101269720341/1000000000000000000000000000000 -31414868000196298779390511571/200000000000000000000000000000 -279632207182874004351582056641/500000000000000000000000000000 23596494357170400708294210967/62500000000000000000000000000 45430128536204355555515962711/500000000000000000000000000000
-44413716543655547831871672121/1000000000000000000000000000000 -2220685768002620239424283447/50000000000000000000000000000 421899235126553539049875950361/1000000000000000000000000000000 72704958147176960884013633159/500000000000000000000000000000 -145409912662494933996059073171/1000000000000000000000000000000 -14540991464684196933884467913/100000000000000000000000000000 157074328551850701403622663581/1000000000000000000000000000000 22715061252821633951310751549/250000000000000000000000000000 90860246489302638819192479437/1000000000000000000000000000000 23596494635808271266339694589/62500000000000000000000000000
72704960447710035856995651817/500000000000000000000000000000 -18176240064933396146425307701/125000000000000000000000000000 72704958147176960884013633159/500000000000000000000000000000 12847736418685438208875839913/12500000000000000000000000000 -188381294132568051951523016311/500000000000000000000000000000 -20345511879216411039918670377/62500000000000000000000000000 -191896467580289845881/500000000000000000000000000000 11277023914464049205281238949/62500000000000000000000000000 -90216191588684585882851018707/500000000000000000000000000000 9021618896837233183820468061/50000000000000000000000000000
-145409924896575434920404138301/1000000000000000000000000000000 36352481173057972131876862369/250000000000000000000000000000 -145409912662494933996059073171/1000000000000000000000000000000 -188381294132568051951523016311/500000000000000000000000000000 1027818913869501506407256178833/1000000000000000000000000000000 -3255281971646145106361820101/10000000000000000000000000000 281218645498937701493/1000000000000000000000000000000 -90216193877021655015095241419/500000000000000000000000000000 180432388187278610748155923261/1000000000000000000000000000000 -18043237331989357793906941081/100000000000000000000000000000
145409922415882385943503395733/1000000000000000000000000000000 -145409922778990283101269720341/1000000000000000000000000000000 -14540991464684196933884467913/100000000000000000000000000000 -20345511879216411039918670377/62500000000000000000000000000 -3255281971646145106361820101/10000000000000000000000000000 513909458907368897575531746679/500000000000000000000000000000 471481999290215033663/1000000000000000000000000000000 180432385582711855250303853517/1000000000000000000000000000000 -90216192512553825992827754267/500000000000000000000000000000 -180432375871078394971203668249/1000000000000000000000000000000
-78537169970597859368906634137/500000000000000000000000000000 -31414868000196298779390511571/200000000000000000000000000000 157074328551850701403622663581/1000000000000000000000000000000 -191896467580289845881/500000000000000000000000000000 281218645498937701493/1000000000000000000000000000000 471481999290215033663/1000000000000000000000000000000 69438983970202226372868058891/125000000000000000000000000000 16066898284733083666171019881/50000000000000000000000000000 321337965629082505748121867377/1000000000000000000000000000000 -32133797984764771552178388911/100000000000000000000000000000
188771954823373299185211456781/500000000000000000000000000000 -279632207182874004351582056641/500000000000000000000000000000 22715061252821633951310751549/250000000000000000000000000000 11277023914464049205281238949/62500000000000000000000000000 -90216193877021655015095241419/500000000000000000000000000000 180432385582711855250303853517/1000000000000000000000000000000 16066898284733083666171019881/50000000000000000000000000000 767100034310455846014333535193/1000000000000000000000000000000 -3088606916651819475265850359/7812500000000000000000000000 -185879183623544790776691121833/1000000000000000000000000000000
-559264414484360081375897044453/1000000000000000000000000000000 23596494357170400708294210967/62500000000000000000000000000 90860246489302638819192479437/1000000000000000000000000000000 -90216191588684585882851018707/500000000000000000000000000000 180432388187278610748155923261/1000000000000000000000000000000 -90216192512553825992827754267/500000000000000000000000000000 321337965629082505748121867377/1000000000000000000000000000000 -3088606916651819475265850359/7812500000000000000000000000 767100034551945597108657363341/1000000000000000000000000000000 -46469795482115475968893545929/250000000000000000000000000000
4543012785461960817791976247/50000000000000000000000000000 45430128536204355555515962711/500000000000000000000000000000 23596494635808271266339694589/62500000000000000000000000000 9021618896837233183820468061/50000000000000000000000000000 -18043237331989357793906941081/100000000000000000000000000000 -180432375871078394971203668249/1000000000000000000000000000000 -32133797984764771552178388911/100000000000000000000000000000 -185879183623544790776691121833/1000000000000000000000000000000 -46469795482115475968893545929/250000000000000000000000000000 767100053189280940632556541991/1000000000000000000000000000000

